How To Lift a Library
نویسنده
چکیده
Generic algebraic libraries run the risk of losing eeciency compared to non-generic libraries. To solve the seeming antagonism between genericity and eeciency, we propose a technique which we call lifting. The lifting process is an abstraction process which starts with a well-known eecient algorithm and abstracts carefully from it. As lifting guarantees that fast non-generic algorithms instantiate their generic lifts, we preserve computing time. Apart from generic programming, lifting is interesting for computer algebra in conceptual and conceptional respects.
منابع مشابه
Developing a Novel Temperature Model in Gas Lifted Wells to Enhance the Gas Lift Design
In the continuous gas lift operation, compressed gas is injected into the lower section of tubing through annulus. The produced liquid flow rate is a function of gas injection rate and injection depth. All the equations to determine depth of injection assumes constant density for gas based on an average temperature of surface and bottomhole that decreases the accuracy of gas lift design. Also g...
متن کاملOptimizing and Stabilizing the Gas Lift Operation by Controlling the Lift Gas Specific Gravity
One of the factors which affects the gas lift performance is specific gravity of a lift gas (or the Molecular weight), which can influence the gas solubility in oil and has a direct effect on the gas lift performance. There are some previous researches which have included the lift gas specific gravity in their modeling, but in none of them, a comprehensive research about the effect of lift gas ...
متن کاملEstimation of Lift Force on a Rough Vertical Pile of Platform to Random Sea Waves
Similar to random sea waves, forces on the offshore structures due to waves are random. These forces can be mainly divided into two components, namely, inline forces and transverse or lift forces. The random nature of lift forces is more complicated than that of inline forces and both should be combined for design purposes. In the present paper, two different approaches have been used to determ...
متن کاملComparison of Lift and Drag Forces for Some Conical Bodies in Supersonic Flow Using Perturbation Techniques
Numerical methods are not always convergent especially in higher velocities when shock waves are involved. A comparison analysis is performed to study the supersonic flow over conical bodies of three different cross sections circular, elliptic and squircle (square with rounded corners) shaped using Perturbation techniques to find flow variables analytically. In order to find lift and drag forc...
متن کاملEstimation of Lift Force on a Rough Vertical Pile of Platform to Random Sea Waves
Similar to random sea waves, forces on the offshore structures due to waves are random. These forces can be mainly divided into two components, namely, inline forces and transverse or lift forces. The random nature of lift forces is more complicated than that of inline forces and both should be combined for design purposes. In the present paper, two different approaches have been used to determ...
متن کامل